1. Combinatory logic : pure, applied and typed
پدیدآورنده : Bimbo, Katalin, 3691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Combinatory logic
رده :
QA
9
.
5
.
B55C6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. J. Michael Dunn on information based logics
پدیدآورنده : Katalin Bimbo, editor
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Dunn, J. Michael, 1941-,Logic,Computer science,Logic, Symbolic and mathematical,Electronic books
رده :
EBOOK
,
BC
M5
71
2016
![](/design/images/bookmore.png)